Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
861	Report N°: NMi 01 Page 2 of 15 Contents General type information ……………………………………………………………………………………………………………………………… Add to Reading List Source URL: www.adampos.com Language: English - Date: 2014-07-05 05:57:20 Mass Tare weight X Window System ALGOL 68 Software Computing Programming language theory
862	Functional Genetic Programming and Exhaustive Program Search with Combinator Expressions Forrest Briggs <> Melissa O’Neill <> August 19, 2007 Add to Reading List Source URL: www.cs.hmc.edu Language: English - Date: 2007-08-19 16:32:34 Type theory Lambda calculus Procedural programming languages Logic in computer science Theoretical computer science Combinatory logic Curry–Howard correspondence Anonymous function Expression Software engineering Programming language theory Computing
863	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing
864	CALCULEMUSMining Maple Code for Contracts Jacques Carette 1 Stephen Forrest 2 Computing and Software McMaster University Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-09-07 12:33:54 Type theory Object-oriented programming Data types Cross-platform software Polymorphism Type system Object Subtype polymorphism Type inference Software engineering Computing Computer programming
865	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
866	PDF Document Add to Reading List Source URL: dwn.tensionsoftware.com Language: English Software engineering Type theory Expression Lookup table Spreadsheet Bc programming language Mathematics Computing Variables
867	Formalizing An Extensional Semantics for Units-of-Measure Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 12:09:56 Type system Data types Type theory 8U
868	Document Number: Revises: Date: Authors: Project: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-13 03:15:38 C++ C programming language Data types Cross-platform software Type theory Reference Pointer C++11 Restrict Software engineering Computer programming Computing
869	T I M S S Supplement Variables Derived from the Student and Teacher Add to Reading List Source URL: isc.bc.edu Language: English - Date: 2000-03-08 10:34:52 Evaluation methods Algebra Logical syntax Hindley–Milner Questionnaire Mathematics Variables Type theory
870	EÆ ient Inferen e of Stati ? Types for Java Byte ode Etienne M. Gagnon, Laurie J. Hendren and Guillaume Mar eau Sable Resear h Group, S hool of Computer S ien e M Gill University, Montreal, Canada [gagnon,hendren,gmar e Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2008-03-12 13:57:33 Computing Primitive types Programming language theory Compiler construction Static single assignment form Type system String Byte Type safety Data types Software engineering Type theory

UPDATE